Discovering the Roots: Uniform Closure Results for Algebraic Classes Under Factoring
نویسندگان
چکیده
Newton iteration is an almost 350-year-old recursive formula that approximates a simple root of polynomial quite rapidly. We generalize it to matrix recurrence (allRootsNI) all roots simultaneously. In this form, the process yields better circuit complexity in case when number r small but multiplicities are exponentially large. Our method sets up linear system unknowns and iteratively builds as formal power series. For algebraic \( f(x_1,\ldots ,x_n) \) size s , we prove each factor has at most degree squarefree part f . Consequently, if f_1 2^{\Omega (n)} -hard polynomial, then any nonzero multiple \prod _{i} f_i^{e_i} equally hard for arbitrary positive e_i ’s, assuming \sum _i\deg (f_i) 2^{O(n)} It old open question whether class poly( n ) formulas (respectively, branching programs) closed under factoring. show given n^{O(1)} program) n^{O(\log n)} can find similar-size randomized n^{\log n} time. determinant requires n^{\Omega (\log formula, same be said about its multiples. our proofs, exploit following property multivariate factorization. Under random transformation \tau f(\tau \overline{x}) completely factors via series roots. Moreover, factorization adapts well analysis. Therefore, with help strong mathematical characterizations ‘allRootsNI’ technique, make significant progress towards problems; supplementing vast body classical results concepts (e.g., [ 17 51 54 111 ]).
منابع مشابه
Discovering the roots: Uniform closure results for algebraic classes under factoring
Newton iteration (NI) is an almost 350 years old recursive formula that approximates a simple root of a polynomial quite rapidly. We generalize it to a matrix recurrence (allRootsNI) that approximates all the roots simultaneously. In this form, the process yields a better circuit complexity in the case when the number of roots r is small but the multiplicities are exponentially large. Our metho...
متن کاملDiscovering Algebraic Specifications for Java Classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortuna...
متن کاملDiscovering Algebraic Specifications from Java Classes
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class to an algebraic signature and then uses the signature to generate a large number of terms. The tool evaluates these terms and based on the results of the evaluation, it proposes equations. Finally, the tool generalizes equations to axioms and eliminates many redundant ...
متن کاملDiscovering and Debugging Algebraic Specifications for Java Classes
Date The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. This thesis presents a system for reducing the cost of developing algebraic specifications for Java classes. The system consists of two components: an algebraic specification discovery ...
متن کاملDiscovering Algebraic Specifications for Java Classes ; CU-CS-985-04
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortuna...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2022
ISSN: ['0004-5411', '1557-735X']
DOI: https://doi.org/10.1145/3510359